@Comment{AUXFILE of BYMRG.MSS by Scribe 3B(1134) on 5 January 1983 at 17:32}
@AuxLabel{ALREADYIN=(0;;BYMRG.MSS, 00800/4)}
@AuxLabel{DEDUCE=(0;#1;BYMRG.MSS, 01100/4)}
@AuxLabel{DEFN-F=[3;(Facts 1);BYMRG.MSS, 03000/5]}
@AuxLabel{INCONS=(1;#2;BYMRG.MSS, 01700/4)}
@AuxLabel{INDEP=(1;#3;BYMRG.MSS, 02000/4)}
@AuxLabel{INDEPENDENT=[4;(Facts 2);BYMRG.MSS, 00800/7]}
@AuxLabel{NONANAL=(5;#7;BYMRG.MSS, 13600/7)}
@AuxLabel{NONLIM=(4;#6;BYMRG.MSS, 02400/7)}
@AuxLabel{SEMCLOS=(4;#5;BYMRG.MSS, 00400/7)}